#include <stdio.h>
#include <stdlib.h>

int main(int argc, char **argv) {
	printf("hello world from ex1c\n");
	exit(EXIT_SUCCESS);
}
